<HTML><HEAD><TITLE>throttle_depth_unique(++MaxDepth, +SBDDInfo)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic_gap_sbdd)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>throttle_depth_unique(++MaxDepth, +SBDDInfo)</H1>
Example throttling predicate
<DL>
<DT><EM>MaxDepth</EM></DT>
<DD>Cut-off depth
</DD>
<DT><EM>SBDDInfo</EM></DT>
<DD>The sbdd_shared data structure
</DD>
</DL>
<H2>Description</H2>
   Throttling predicate for use as an option to sbdd_initialise/5
   or sbdd_initialise_set/5.  This predicate succeeds if the search depth
   does not exceed MaxDepth, or if the variable array is ground (ensuring
   solutions are guaranteed to be unique).

<H2>See Also</H2>
<A HREF="../../lib/ic_gap_sbdd/sbdd_initialise-5.html">sbdd_initialise / 5</A>, <A HREF="../../lib/ic_gap_sbdd/sbdd_initialise_set-5.html">sbdd_initialise_set / 5</A>, <A HREF="../../lib/ic_gap_sbdd/throttle_default-1.html">throttle_default / 1</A>, <A HREF="../../lib/ic_gap_sbdd/throttle_depth_non_unique-2.html">throttle_depth_non_unique / 2</A>, <A HREF="../../lib/ic_gap_sbdd/throttle_depth_mod_unique-2.html">throttle_depth_mod_unique / 2</A>, <A HREF="../../lib/ic_gap_sbdd/throttle_depth_mod_non_unique-2.html">throttle_depth_mod_non_unique / 2</A>
</BODY></HTML>
